Luís Moniz Pereira: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

Springer-Verlag Berlin Heidelberg

Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten van Emden (auth.), Antonis C. Kakas, Fariba Sadri (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 6.77 MB

0 / 0

english, 2002

2

A Máquina Iluminada - Cognição e Computação

A Máquina Iluminada - Cognição e Computação

Fronteira do Caos Editores

Luís Moniz Pereira

ปี:

2016

ภาษา:

portuguese

ไฟล์:

PDF, 10.84 MB

0 / 4.5

portuguese, 2016

3

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 5.03 MB

0 / 0

english, 2000

4

Máquinas Éticas - Da Moral da Máquina à Maquinaria da Moral

Máquinas Éticas - Da Moral da Máquina à Maquinaria da Moral

NOVA.FCT Editorial

Luís Moniz Pereira, António Lopes

ปี:

2020

ภาษา:

portuguese

ไฟล์:

PDF, 1.70 MB

0 / 4.5

portuguese, 2020

5

Alan Turing: cientista universal

Alan Turing: cientista universal

José António Alves, E. R. Arantes e Oliveira, Fernando Ferreira, Sofia Miguens, Luís Moniz Pereira, Olga Pombo, Pedro Quaresma, José Manuel Valença

ปี:

2019

ภาษา:

portuguese

ไฟล์:

PDF, 3.45 MB

0 / 5.0

portuguese, 2019

6

Reasoning with Logic Programming

Reasoning with Logic Programming

Springer-Verlag Berlin Heidelberg

José Júlio Alferes, Luís Moniz Pereira

ปี:

1996

ภาษา:

english

ไฟล์:

DJVU, 1.99 MB

0 / 0

english, 1996

7

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 13.12 MB

0 / 0

english, 2000

8

Reasoning with Logic Programming

Reasoning with Logic Programming

Springer-Verlag Berlin Heidelberg

José Júlio Alferes, Luís Moniz Pereira (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

PDF, 13.90 MB

0 / 0

english, 1996

9

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

Luis Moniz Pereira, Anil Nerode

ปี:

1993

ภาษา:

english

ไฟล์:

PDF, 21.91 MB

0 / 0

english, 1993

10

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

Springer-Verlag Berlin Heidelberg

Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten van Emden (auth.), Antonis C. Kakas, Fariba Sadri (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 4.42 MB

0 / 0

english, 2002

11

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

Springer-Verlag Berlin Heidelberg

Jürgen Dix, Luís Moniz Pereira (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)

ปี:

1997

ภาษา:

english

ไฟล์:

DJVU, 1.90 MB

0 / 0

english, 1997

12

Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä (auth.), José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

DJVU, 4.67 MB

0 / 0

english, 1996

13

Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Georg Gottlob (auth.), Craig MacNish, David Pearce, Luís Moniz Pereira (eds.)

ปี:

1994

ภาษา:

english

ไฟล์:

DJVU, 4.11 MB

0 / 0

english, 1994

14

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

Springer-Verlag Berlin Heidelberg

Jürgen Dix, Luís Moniz Pereira (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)

ปี:

1997

ภาษา:

english

ไฟล์:

PDF, 14.33 MB

0 / 0

english, 1997

15

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Luís Moniz Pereira, Anil Nerode

ปี:

1993

ภาษา:

english

ไฟล์:

DJVU, 8.09 MB

0 / 0

english, 1993

16

Reasoning with Logic Programming

Reasoning with Logic Programming

José Júlio Alferes, Luís Moniz Pereira

ปี:

1996

ภาษา:

english

ไฟล์:

PDF, 3.72 MB

0 / 0

english, 1996

17

Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Luís Moniz Pereira, Luis Caires, José Alferes (auth.), E. Lamma, P. Mello (eds.)

ปี:

1993

ภาษา:

english

ไฟล์:

DJVU, 4.73 MB

0 / 0

english, 1993

18

Representing a Computer Science Research Organization on the ACM Computing Classification System

Representing a Computer Science Research Organization on the ACM Computing Classification System

Boris Mirkin, Susana Nascimento, and Luis Moniz Pereira

ภาษา:

english

ไฟล์:

PDF, 295 KB

0 / 0

english

19

Reasoning with Logic Programming

Reasoning with Logic Programming

Springer-Verlag Berlin Heidelberg

José Júlio Alferes, Luís Moniz Pereira (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

PDF, 4.10 MB

0 / 0

english, 1996

20

Programming Machine Ethics

Programming Machine Ethics

Springer International Publishing

Luís Moniz Pereira, Ari Saptawijaya (auth.)

ปี:

2016

ภาษา:

english

ไฟล์:

PDF, 2.35 MB

0 / 0

english, 2016

21

Computational Intelligence for Engineering Systems: Emergent Applications

Computational Intelligence for Engineering Systems: Emergent Applications

Springer Netherlands

Luís Moniz Pereira, Han The Anh (auth.), Ana Madureira, Judite Ferreira, Zita Vale (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 5.02 MB

0 / 0

english, 2011

22

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Springer-Verlag Berlin Heidelberg

Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)

ปี:

1998

ภาษา:

english

ไฟล์:

PDF, 4.23 MB

0 / 0

english, 1998

23

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Luís Moniz Pereira, Pierangelo Dell’Acqua, Gonçalo Lopes (auth.), Andy Gill, Terrance Swift (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 2.95 MB

0 / 0

english, 2009

24

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Springer-Verlag Berlin Heidelberg

Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)

ปี:

1998

ภาษา:

english

ไฟล์:

DJVU, 3.36 MB

0 / 0

english, 1998

25

EPIA 91: 5th Portuguese Conference on Artificial Intelligence Albufeira, Portugal, October 1–3, 1991 Proceedings

EPIA 91: 5th Portuguese Conference on Artificial Intelligence Albufeira, Portugal, October 1–3, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Miguel Filgueiras, Ana Paula Tomás (auth.), Pedro Barahona, Luís Moniz Pereira, António Porto (eds.)

ปี:

1991

ภาษา:

english

ไฟล์:

DJVU, 2.92 MB

0 / 0

english, 1991

26

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 17.77 MB

0 / 0

english, 2000

27

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Springer-Verlag Berlin Heidelberg

Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)

ปี:

1998

ภาษา:

english

ไฟล์:

PDF, 3.39 MB

0 / 0

english, 1998

28

Logic Programming and Knowledge Representation: Third International Workshop, LPKR ’97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Logic Programming and Knowledge Representation: Third International Workshop, LPKR ’97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)

ปี:

1997

ภาษา:

english

ไฟล์:

PDF, 1.50 MB

0 / 0

english, 1997

29

Computational Intelligence for Engineering Systems: Emergent Applications

Computational Intelligence for Engineering Systems: Emergent Applications

Springer Netherlands

Luís Moniz Pereira, Han The Anh (auth.), Ana Madureira, Judite Ferreira, Zita Vale (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 11.10 MB

0 / 0

english, 2011

30

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers

Springer-Verlag Berlin Heidelberg

Jürgen Dix, Luís Moniz Pereira (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)

ปี:

1997

ภาษา:

english

ไฟล์:

PDF, 5.95 MB

0 / 0

english, 1997

31

Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Georg Gottlob (auth.), Craig MacNish, David Pearce, Luís Moniz Pereira (eds.)

ปี:

1994

ภาษา:

english

ไฟล์:

PDF, 10.05 MB

0 / 0

english, 1994

32

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I

Springer-Verlag Berlin Heidelberg

Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten van Emden (auth.), Antonis C. Kakas, Fariba Sadri (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 7.56 MB

0 / 0

english, 2002

33

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 7.86 MB

0 / 0

english, 2000

34

EPIA 91: 5th Portuguese Conference on Artificial Intelligence Albufeira, Portugal, October 1–3, 1991 Proceedings

EPIA 91: 5th Portuguese Conference on Artificial Intelligence Albufeira, Portugal, October 1–3, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Miguel Filgueiras, Ana Paula Tomás (auth.), Pedro Barahona, Luís Moniz Pereira, António Porto (eds.)

ปี:

1991

ภาษา:

english

ไฟล์:

PDF, 4.94 MB

0 / 0

english, 1991

35

Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä (auth.), José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

PDF, 11.18 MB

0 / 0

english, 1996